Prof. Dr. Bernhard Steffen Dipl.Inf. Malte Isberner – Dr. Oliver Rüthing – Dipl.Inf. Melanie Schmidt – Dr. Hubert Wagner Übungen zur Vorlesung

Source URL: ls5-www.cs.tu-dortmund.de

Prof. Dr. Bernhard Steffen Dipl.Inf. Malte Isberner – Dr. Oliver Rüthing – Dipl.Inf. Melanie Schmidt – Dr. Hubert Wagner Übungen zur Vorlesung

Source URL: ls5-www.cs.tu-dortmund.de

Prof. Dr. Bernhard Steffen Dipl.Inf. Malte Isberner – Dr. Oliver Rüthing – Dipl.Inf. Melanie Schmidt – Dr. Hubert Wagner Übungen zur Vorlesung

Source URL: ls5-www.cs.tu-dortmund.de

Prof. Dr. Bernhard Steffen Dipl.Inf. Malte Isberner – Dr. Oliver Rüthing – Dipl.Inf. Melanie Schmidt – Dr. Hubert Wagner Übungen zur Vorlesung

Source URL: ls5-www.cs.tu-dortmund.de

Quantifying properties of hot and dense QCD matter through systematic model-to-data comparison Jonah E. Bernhard,1 Peter W. Marcy,2 Christopher E. Coleman-Smith,1 Snehalata Huzurbazar,3 Robert L. Wolpert,4 and Steffen A.

Source URL: arxiv.org

• Normal distribution
• Covariance matrix
• Multivariate normal distribution
• Mathematical model
• Parameter
• Standard deviation
• Random variable
• Statistics
• Data analysis
• Summary statistics

Gemeinderatssitzung am 2. Juni 2014 Anwesende: Patene, Thomas, Nils (Gast), Nina (Gast), Bernhard, Philipp, Sarah, Dania, Marieke, Steffen (Gast), Gottfried (Gast), Salome (Gast), Kilian, Susi, Miriam S., Ida, Hauke, Fra

Source URL: esg-leipzig.de

On Optimized FPGA Implementations of the SHA-3 Candidate Grøstl? Bernhard Jungk, Steffen Reith, and J¨ urgen Apfelbeck Fachhochschule Wiesbaden University of Applied Sciences {jungk|reith}@informatik.fh-wiesbaden.de

Source URL: eprint.iacr.org

• Advanced Encryption Standard
• Grøstl
• NIST hash function competition
• Whirlpool
• Field-programmable gate array
• AES implementations
• Hash function
• Crypt
• Xilinx
• Cryptography
• Cryptographic hash functions
• Error detection and correction

Prof. Bernhard Steffen TU Dortmund BIO

Source URL: ls5-www.cs.tu-dortmund.de

• Computer science
• Model checking
• Software development process
• Large-scale Complex IT Systems
• ACM Transactions on Programming Languages and Systems
• Model-based testing
• Software engineering
• Institute for System Programming
• Brent Hailpern
• Science
• Formal methods
• Software development